<?php
(int) $b;